- чистое исчисление предикатов
- Математика: ЧИП
Универсальный англо-русский словарь. Академик.ру. 2011.
чистое исчисление предикатов
Смотреть что такое "чистое исчисление предикатов" в других словарях:
ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… … Математическая энциклопедия
парадокс — ПАРАДОКС (от греч. para вне и doxa мнение). 1) В широком (внелогическом) смысле все то, что так или иначе вступает в конфликт (расходится) с общепринятым мнением, подтвержденным традицией, законом, правилом, нормой или здравым смыслом.… … Энциклопедия эпистемологии и философии науки
ФРЕГЕ — (Frege) Готлоб (1848 1925) немецкий логик, математик и философ. Профессор Йенского университета. Оказал формирующее влияние на современную формальную логику, основания математики и аналитическое направление философии в 20 в. Основные труды:… … История Философии: Энциклопедия
ФРЕГЕ отлоб (1848-1925) — немецкий логик, математик и философ. Профессор Йенского университета. Оказал формирующее влияние на современную формальную логику, основания математики и аналитическое направление философии в 20 в. Основные труды: Запись в понятиях (1879), Основы … История Философии: Энциклопедия
Пирс Чарлз Сандерс — (Pierce) (1839 1914), американский философ, логик, математик и естествоиспытатель. Родоначальник прагматизма. Выдвинул принцип, согласно которому содержание понятия целиком исчерпывается представлением о его возможных последствиях. Основатель… … Энциклопедический словарь
Аристотель и перипатетики — Аристотелевский вопрос Жизнь Аристотеля Аристотель родился в 384/383 гг. до н. э. в Стагире, на границе с Македонией. Его отец по имени Никомах был врачом на службе у македонского царя Аминта, отца Филиппа. Вместе с семьей молодой Аристотель… … Западная философия от истоков до наших дней
